Một diễn giải của một ngôn ngữ bậc nhất gán một giải nghĩa cho mỗi ký hiệu khác ký hiệu logic trong ngôn ngữ đó. Nó cũng xác định một miền diễn ngôn chỉ định phạm vi của các lượng từ. Kết quả là mỗi từ (term) được gán một đối tượng mà nó đại diện, mỗi vị từ được gán một thuộc tính của các đối tượng và mỗi câu được gán một giá trị sự thật. Theo cách này, một diễn giải cung cấp ý nghĩa ngữ nghĩa cho các từ, vị từ và câu của logic bậc nhất. Nghiên cứu về các diễn giải của ngôn ngữ hình thức được gọi là ngữ nghĩa hình thức.